منابع مشابه
Exercises in Style (Alpha Specifications)
We compare two documents: the Alpha Architecture Reference Manual (from Compaq Computer Corporation) and the TLA specification of the Alpha memory model (by Lamport, Sharma, Tuttle, and Yu). We compare the styles, the languages employed, and the fundamental assumptions (that is the basic frameworks of the two texts). We conclude that the TLA specification is not so much a formalization of the A...
متن کاملA traditional tree-style tableau for LTL
Propositional linear time temporal logic (LTL) is the standard temporal logic for computing applications and many reasoning techniques and tools have been developed for it. Tableaux for deciding satisfiability have existed since the 1980s. However, the tableaux for this logic do not look like traditional tree-shaped tableau systems and their processing is often quite complicated. We present a n...
متن کاملTraditional laboratory exercises and remote experiments in electrical engineering education
Laboratory work is recognized as an efficient method for students to assimilate knowledge and to develop skills for solving real world problems. The Internet provides new opportunities for remote experimentation. Laboratory exercises in electrical engineering courses such as circuit theory and basic electronics can be performed remotely using real equipment. What equipment is required for rem...
متن کاملCore muscle activation during Swiss ball and traditional abdominal exercises.
STUDY DESIGN Controlled laboratory study using a repeated-measures, counterbalanced design. OBJECTIVES To test the ability of 8 Swiss ball exercises (roll-out, pike, knee-up, skier, hip extension right, hip extension left, decline push-up, and sitting march right) and 2 traditional abdominal exercises (crunch and bent-knee sit-up) on activating core (lumbopelvic hip complex) musculature. BA...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Nature
سال: 1979
ISSN: 0028-0836,1476-4687
DOI: 10.1038/282163a0